$\forall$$T$:Type, ${\it eq}$:EqDecider($T$), $L$:$T$ List, $a$:$T$. ($a$ $\in$ remove{-}repeats(${\it eq}$;$L$)) $\Leftrightarrow$ ($a$ $\in$ $L$)